On preservation ofE-compactness

A Strict Border for the Decidability ofE {

During the execution of functional logic programs, E{unii-cation problems have to be solved quite frequently, where the underlying equational theory is induced by recursive functions. But, what about the decidability of those E{uniication problems? Up to now, there does not exist a concrete answer to this question. In this paper, we answer this question by drawing and verifying a strict border ...

On Compactness Theorem

In this talk we investigate the compactness theorem (as a property) in non-classical logics. We focus on the following problems: (a) What kind of semantics make a logic having compactnesss theorem? (b) What is the relationship between the compactness theorem and the classical model existence theorem (CME)/model existence theorem?

On compactness of lattices

In this paper, we present a study of various concepts pertaining to compactness properties of a lattice. Special cases include such notions as countably compactness, almost countably compactness, and countably paracompactness. Some investigations in these matters have been done in [2, 7, 14]. We go beyond these results and introduce new subsets of I(L) and their lattices to investigate. This wa...

On compactness and projections

On Intuitionistic Fuzzy β-Almost Compactness and β-Nearly Compactness

The concept of intuitionistic fuzzy β-almost compactness and intuitionistic fuzzy β-nearly compactness in intuitionistic fuzzy topological spaces is introduced and studied. Besides giving characterizations of these spaces, we study some of their properties. Also, we investigate the behavior of intuitionistic fuzzy β-compactness, intuitionistic fuzzy β-almost compactness, and intuitionistic fuzz...